Hierarchical Free Monad
https://graninas.com/functional-design-and-architecture-book/
『Functional Declarative Design』
Freeモナド
を階層構造にする
https://github.com/graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell